# -*- mode: snippet -*-
# name: Set Regular Subst Tactic
# --
Set Regular Subst Tactic
